Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
631	Sheet Instruction 1iii The year that the first Nobel prize was A awarded Add to Reading List Source URL: www.teacherled.com Language: English - Date: 2011-01-09 17:47:57 Programming language theory Software engineering Mathematics Models of computation Mental arithmetic CLU Subtraction 1089
632	COMS11700 Turing machines Ashley Montanaro Department of Computer Science, University of Bristol Add to Reading List Source URL: www.cs.bris.ac.uk Language: English - Date: 2014-05-31 09:18:34 Computer science Models of computation Computability theory Automata theory Finite-state machine Universal Turing machine Computability Theory of computation Turing machine Theoretical computer science
633	FreshML: A Fresh Approach to Name Binding in Metaprogramming Languages Final Report∗ Andrew M. Pitts February 2005 Abstract Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2005-02-28 05:08:39 Logic in computer science Models of computation Formal methods Denotational semantics De Bruijn index Higher-order abstract syntax Lambda calculus ECL programming language Actor model Computing Software engineering Theoretical computer science
634	Directed Unfolding of Petri Nets Blai Bonet1 , Patrik Haslum2 , Sarah Hickmott3 , and Sylvie Thi´ebaux2 1 2 Universidad Sim´ Add to Reading List Source URL: users.cecs.anu.edu.au Language: English - Date: 2009-04-11 23:05:46 Diagrams Petri net Computer science Formal methods Priority queue XTR Unfolding Algorithm Admissible heuristic Models of computation Mathematics Concurrency
635	2 Typed Compilation Against Non-Manifest Base Classes Christopher League1 and Stefan Monnier2 1 Long Island University Add to Reading List Source URL: contrapunctus.net Language: English - Date: 2012-03-13 13:00:12 Proof theory Models of computation Logic in computer science Symbol Lambda calculus Curry–Howard correspondence Dynamical system Theoretical computer science Computer science Mathematics
636	Algorithmic solution of higher-type equations Mart´ın Escard´o School of Computer Science, University of Birmingham, UK Version of June 10, 2011 Abstract Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2011-06-10 08:42:01 Mathematical analysis Calculus Models of computation Lambda calculus Metric space Computable function Function Continuous function Uniform continuity Mathematics Computability theory Theory of computation
637	Inference and Analysis of Formal Models of Botnet Command and Control Protocols Chia Yuan Cho Domagoj Babi´c Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Spamming Computer network security Multi-agent systems Botnet Simple Mail Transfer Protocol Communications protocol Finite-state machine Mealy machine Transmission Control Protocol Computing Data Models of computation
638	MACE: Model-inference-Assisted Concolic Exploration for Protocol and Vulnerability Discovery Chia Yuan Cho†‡ Kevin Zhijie Chen† † University of California, Berkeley Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Information Communications protocol Finite-state machine Algorithm Mealy machine Function Output Model checking Models of computation Mathematics Data
639	Directed Unfolding of Petri Nets Blai Bonet1 , Patrik Haslum2 , Sarah Hickmott3 , and Sylvie Thi´ebaux2 1 2 Universidad Sim´ Add to Reading List Source URL: goanna.cs.rmit.edu.au Language: English - Date: 2010-01-13 00:16:18 Diagrams Petri net Computer science Formal methods Priority queue XTR Unfolding Algorithm Admissible heuristic Models of computation Mathematics Concurrency
640	Irrelevance, Heterogeneous Equality, and Call-by-value Dependent Type Systems Vilhelm Sj¨oberg Chris Casinghino Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2014-07-10 05:47:12 Models of computation Computability theory Lambda calculus Function Mathematics Mathematical logic Theoretical computer science

UPDATE